<html>
<body>
Introduce implicit parameter.
</body>
</html>